$x$ initially@$i$  $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$es\_init(${\it es}$)($i$).$x$